Definable group extensions in semi-bounded o-minimal structures
نویسندگان
چکیده
In this note we show: Let R = 〈R, <, +, 0, . . . 〉 be a semi-bounded (respectively, linear) o-minimal expansion of an ordered group, and G a group definable in R of linear dimension m ([Ed1]). Then G is a definable extension of a bounded (respectively, definably compact) definable group B by 〈Rm, +〉.
منابع مشابه
Structure Theorems in Tame Expansions of O-minimal Structures by a Dense Set
We study sets and groups definable in tame expansions of ominimal structures. Let M̃ = ⟨M, P ⟩ be an expansion of an o-minimal Lstructure M by a dense set P . We impose three tameness conditions on M̃ and prove a cone decomposition theorem for definable sets and functions in the realm of the o-minimal semi-bounded structures. The proof involves induction on the notion of ‘large dimension’ for def...
متن کاملA descending chain condition for groups definable in o-minimal structures
We prove that if G is a group definable in a saturated o-minimal structure, then G has no infinite descending chain of type-definable subgroups of bounded index. Equivalently, G has a smallest (necessarily normal) type-definable subgroup G of bounded index and G/G equipped with the “logic topology” is a compact Lie group. These results give partial answers to some conjectures of the fourth auth...
متن کاملConnected components of definable groups and o-minimality I
We give examples of definable groups G (in a saturated model, sometimes o-minimal) such that G00 6= G000, yielding also new examples of “non G-compact” theories. We also prove that for G definable in a (saturated) o-minimal structure, G has a “bounded orbit” (i.e. there is a type of G whose stabilizer has bounded index) if and only if G is definably amenable, giving a positive answer to a conje...
متن کاملOn Central Extensions and Definably Compact Groups in O-minimal Structures
We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields such as (i) G is definably an almost direct product of a semisimple group and a commutative group, (ii) (G, ·) is elementarily equivalent to (G/G, ·). We also prove results on the internality of finite covers of G in an o-minimal environment, as well as deducing the full compact domin...
متن کاملLocal Analysis for Semi-bounded Groups
An o-minimal expansion M = 〈M, <, +, 0, . . . 〉 of an ordered group is called semi-bounded if it does not expand a real closed field. Possibly, it defines a real closed field with bounded domain I ⊆ M . Let us call a definable set short if it is in definable bijection with a definable subset of some In, and long otherwise. Previous work by Edmundo and Peterzil provided structure theorems for de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Math. Log. Q.
دوره 55 شماره
صفحات -
تاریخ انتشار 2009